Modeling and verification of real-time systems :

QR Kodea

Modeling and verification of real-time systems : Formalisms and software tools

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and as...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Hoboken, NJ ISTE/John Wiley 2008
Gaiak:	Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu tại chỗ,Phần mềm máy tính,Phương pháp chính ( khoa học vi tính ) Verification,Xác minh
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Antzeko izenburuak

Real-time systems /
nork: Krishna, C.M.
Argitaratua: (1997)

Real-time systems
nork: Krishna, C. M.
Argitaratua: (1997)

Multiprocessor Scheduling for Real-Time Systems
nork: Baruah, Sanjoy, et al.
Argitaratua: (2015)

Design of real-time computer systems
nork: Martin, James
Argitaratua: (1967)

Real-Time systems and programming language /
nork: Burns, Alan.
Argitaratua: (1997)

Real-Time software design and analysis of reconfigurable multi-Sensor based systems /
nork: Stewart, David Bernard.
Argitaratua: (1994)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
nork: Núñez, Manuel, et al.
Argitaratua: (2015)

Run-time security traceability for evolving systems /
nork: Bauer, Andreas.

Hard real-time computing systems :predictable scheduling algorithms and applications
nork: Buttazzo, Giorgio C
Argitaratua: (2011)

Real-Time systems
nork: Liu, Jane W. S
Argitaratua: (2000)

Verification and validation for quality of UML 2.0 models
nork: Unhelkar, Bhuvan
Argitaratua: (2005)

Real-time systems design and analysis : Tools for the practitioner
nork: Laplante, Phillip A
Argitaratua: (2012)

Structured development for real-time systems.
nork: Ward, Paul T.
Argitaratua: (1985)

Structured development for real-time systems.
nork: Ward, Paul T.
Argitaratua: (1985)

Complexity and real computation /
Argitaratua: (1998)

Complexity and real computation /
Argitaratua: (1998)

Modeling and verification using UML statecharts :
nork: Drusinsky, Doron
Argitaratua: (2006)

Modeling and verification using UML statecharts :
nork: Drusinsky, Doron
Argitaratua: (2006)

A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
nork: Nguyen, Trinh Dong
Argitaratua: (2018)

Closing a system in the dynamic input/output automata model /
nork: Kapus, Tatjana.

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
nork: D'Souza, Deepak, et al.
Argitaratua: (2015)

Verification and validation for quality of UML 2.0 madels
nork: Unhelkar, Bhuvan
Argitaratua: (2005)

A real-time approach to process control
nork: Svrcek, William Y.
Argitaratua: (2014)

Verification techniques for system-level design
nork: Fujita, Masahiro
Argitaratua: (2008)

Comprehensive functional verification the complete industry cycle
nork: Wile, Bruce
Argitaratua: (2005)

Research and Design Real-time Sudoku Solver
nork: Doan, Hai Dang
Argitaratua: (2024)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Argitaratua: (2001)

Research and Development of a Real-Time AI-Integrated Network Intrusion Detection System
nork: Tran, Doan Hoang
Argitaratua: (2026)

A Clickbait-Filtered Topic Modeling Approach for Real Time Vietnamese News Clustering
nork: Nguyen, Ngoc Huyen Tran
Argitaratua: (2026)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
nork: Nguyen, Thanh Tuan, et al.
Argitaratua: (2025)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
nork: Bernardo, Marco, et al.
Argitaratua: (2015)

Building a Supply-demand Connection Website Integrated with AI for Agricultural Product Data Verification
nork: Bui, Quoc Dat, et al.
Argitaratua: (2026)

Building a Blockchain-Based Credential Verification System
nork: Mai, The Son, et al.
Argitaratua: (2025)

Real-Time Embedded Systems: Open-Source Operating Systems Perspective
nork: Ivan, Cibrario Bertolotti, et al.
Argitaratua: (2023)

Research and Development of an Intelligent Environmental Monitoring System Using LoRa Technology and AI-Based Real-Time Data Prediction Models
nork: A, Rat Quy
Argitaratua: (2026)

Programming in the OSEK/VDX environment
nork: Lemieux, Joseph
Argitaratua: (2001)

Programming in the OSEK/VDX environment
nork: Lemieux, Joseph
Argitaratua: (2001)

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
nork: Graf, Susanne, et al.
Argitaratua: (2015)

BERT-Based Model for Vietnamese Fact Verification Dataset
nork: Tran, Bao, et al.
Argitaratua: (2024)

Development of a Cross-platform Application for Matching Community Projects with a Real-time Chat System
nork: Ho, Van Dan, et al.
Argitaratua: (2026)