Work

Context Aware Model-Checking for Embedded Software

Year: 2012
Type: book-chapter
Abstract: Another difficulty is about requirement specification.Embedded software systems integrate more and more advanced features, such as complex data structures, recursion, 1 Domain Specific
Language: English
Open Access status: hybrid
OpenAlex ID: W1574094736
FWCI: 3.016
Cites: 22
Cited by: 4
Related to: 10