DocumentCode :
1908513
Title :
The 2012 Forum on specification & Design Languages (FDL) [Title page]
fYear :
2012
fDate :
18-20 Sept. 2012
Firstpage :
1
Lastpage :
1
Abstract :
The following topics are dealt with: specification languages; property-based verification; temporal specifications; cyber-physical systems; mixed-signal systems; SystemC analysis; system-level behavioral modeling; energy harvesting; UML profile; and invasive programming.
Keywords :
formal verification; high level languages; specification languages; SystemC analysis; UML profile; cyber-physical systems; energy harvesting; invasive programming; mixed-signal systems; property-based verification; system-level behavioral modeling; temporal specifications;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Specification and Design Languages (FDL), 2012 Forum on
Conference_Location :
Vienna
ISSN :
1636-9874
Print_ISBN :
978-1-4673-1240-0
Type :
conf
Filename :
6337006
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1908513
بازگشت