Temporal Logic for Real-time Systems
Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.
- ISBN 10 : UOM:39015017744767
- Judul : Temporal Logic for Real-time Systems
- Pengarang : Jonathan S. Ostroff,
- Kategori : Science
- Penerbit : John Wiley & Sons Incorporated
- Bahasa : en
- Tahun : 1989
- Halaman : 230
- Google Book : http://books.google.co.id/books?id=OLFQAAAAMAAJ&dq=intitle:Logic+and+Legal+Reasoning&hl=&source=gbs_api
-
Ketersediaan :
Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.