Old Web
English
Sign In
Acemap
>
Paper
>
Real-time Software Modelling using Statecharts and Timed Automata Approaches
Real-time Software Modelling using Statecharts and Timed Automata Approaches
2006
Naughton
McGrath
Heffernan
Keywords:
Reactive system
Programming language
Formal verification
Automaton
Packet switching
Unified Modeling Language
Finite-state machine
Computer science
Asynchronous Transfer Mode
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]