Abstract :
The following topics are dealt with: specification; verification; application of formal methods; and timed systems.
Keywords :
software engineering; formal methods; software engineering; specification; timed systems; verification;
Conference_Titel :
Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on
Conference_Location :
San Francisco, CA
DOI :
10.1109/FormaliSE.2013.6612268
