Formal methods for the design of real-time systems : International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004

Saved in:
Bibliographic Details
Corporate Author International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Itálie
Other Authors Bernado, Marco (Editor), Corradini, Flavio, 1966- (Editor)
Format Book
LanguageEnglish
Published Berlin : Springer, c2004
SeriesLecture notes in computer science
Subjects
konstrukce
reálný čas
syntéza regulátorů
řídicí systémy
sborníky

Cover

ikona Nápověda Glossary of Terms
Status More Information Location Call Number
Holdings details from Knihovna UTB
Status CheckedOut – Due: 02.01.2025 More Information Location FAI Call Number 004/FORMAL

Similar Items