Modeling and verification of real-time systems :

QR Kod

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...

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	Hoboken, NJ ISTE/John Wiley 2008
Konular:	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
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Real-time systems /
Yazar:: Krishna, C.M.
Baskı/Yayın Bilgisi: (1997)

Real-time systems
Yazar:: Krishna, C. M.
Baskı/Yayın Bilgisi: (1997)

Design of real-time computer systems
Yazar:: Martin, James
Baskı/Yayın Bilgisi: (1967)

Real-Time systems and programming language /
Yazar:: Burns, Alan.
Baskı/Yayın Bilgisi: (1997)

Multiprocessor Scheduling for Real-Time Systems
Yazar:: Baruah, Sanjoy, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Real-Time software design and analysis of reconfigurable multi-Sensor based systems /
Yazar:: Stewart, David Bernard.
Baskı/Yayın Bilgisi: (1994)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Yazar:: Núñez, Manuel, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Hard real-time computing systems :predictable scheduling algorithms and applications
Yazar:: Buttazzo, Giorgio C
Baskı/Yayın Bilgisi: (2011)

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

Real-Time systems
Yazar:: Liu, Jane W. S
Baskı/Yayın Bilgisi: (2000)

Verification and validation for quality of UML 2.0 models
Yazar:: Unhelkar, Bhuvan
Baskı/Yayın Bilgisi: (2005)

Real-time systems design and analysis : Tools for the practitioner
Yazar:: Laplante, Phillip A
Baskı/Yayın Bilgisi: (2012)

Structured development for real-time systems.
Yazar:: Ward, Paul T.
Baskı/Yayın Bilgisi: (1985)

Structured development for real-time systems.
Yazar:: Ward, Paul T.
Baskı/Yayın Bilgisi: (1985)

Complexity and real computation /
Baskı/Yayın Bilgisi: (1998)

Complexity and real computation /
Baskı/Yayın Bilgisi: (1998)

Modeling and verification using UML statecharts :
Yazar:: Drusinsky, Doron
Baskı/Yayın Bilgisi: (2006)

Modeling and verification using UML statecharts :
Yazar:: Drusinsky, Doron
Baskı/Yayın Bilgisi: (2006)

A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
Yazar:: Nguyen, Trinh Dong
Baskı/Yayın Bilgisi: (2018)

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

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Yazar:: D'Souza, Deepak, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Verification and validation for quality of UML 2.0 madels
Yazar:: Unhelkar, Bhuvan
Baskı/Yayın Bilgisi: (2005)

A real-time approach to process control
Yazar:: Svrcek, William Y.
Baskı/Yayın Bilgisi: (2014)

Verification techniques for system-level design
Yazar:: Fujita, Masahiro
Baskı/Yayın Bilgisi: (2008)

Comprehensive functional verification the complete industry cycle
Yazar:: Wile, Bruce
Baskı/Yayın Bilgisi: (2005)

Research and Design Real-time Sudoku Solver
Yazar:: Doan, Hai Dang
Baskı/Yayın Bilgisi: (2024)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Towards a Model for Integrating Process Verification in Process-Driven Application Development
Yazar:: Nguyen, Thanh Tuan, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Real-Time Embedded Systems: Open-Source Operating Systems Perspective
Yazar:: Ivan, Cibrario Bertolotti, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

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
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Building a Blockchain-Based Credential Verification System
Yazar:: Mai, The Son, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Programming in the OSEK/VDX environment
Yazar:: Lemieux, Joseph
Baskı/Yayın Bilgisi: (2001)

Programming in the OSEK/VDX environment
Yazar:: Lemieux, Joseph
Baskı/Yayın Bilgisi: (2001)

BERT-Based Model for Vietnamese Fact Verification Dataset
Yazar:: Tran, Bao, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Real-time nucleic acid sequence-based amplification in nanoliter volumes /

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
Yazar:: Graf, Susanne, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Applied formal verification
Yazar:: Perry, Douglas L.
Baskı/Yayın Bilgisi: (2005)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Yazar:: Counsell, Steve, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Yazar:: Fantechi, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Using Stochastic Gradient Descent On Parallel Recommender System with Stream Data
Yazar:: Nguyen, Si Thin, ve diğerleri
Baskı/Yayın Bilgisi: (2023)