Integrated Formal Methods

DOI10.1007/B96106zbMath1196.68136OpenAlexW1531155000MaRDI QIDQ5901616

Dang Van Hung, Pu Geguang, Wang Yi, He Jifeng

Publication date: 7 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96106

zbMATH Keywords

reachabilitytimed automatascheduling algorithmhardware/software partitioning

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• HyTech
• Uppaal

This page was built for publication: Integrated Formal Methods