DocumentCode
637323
Title
Contents
fYear
2013
fDate
25-25 May 2013
Firstpage
1
Lastpage
1
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on
Conference_Location
San Francisco, CA
Type
conf
DOI
10.1109/FormaliSE.2013.6612268
Filename
6612268
Link To Document