The inverse method : parametric verification of real-time embedded systems /

The inverse method : parametric verification of real-time embedded systems /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	André, Etienne
Άλλοι συγγραφείς:	Soulat, Romain
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : ISTE ; 2013. Hoboken, N.J. : Wiley, 2013.
Σειρά:	Focus series in computer engineering and IT.
Θέματα:	Embedded computer systems. Computer systems > Verification. COMPUTERS > General. Computer systems / Verification. Electronic books.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Embedded systems : hardware, design, and implementation /
Έκδοση: (2012)

Embedded SoPC design with NIOS II processor and Verilog examples /
ανά: Chu, Pong P., 1959-
Έκδοση: (2012)

Memory allocation problems in embedded systems : optimization methods /
Έκδοση: (2013)

Design for embedded image processing on FPGAs /
ανά: Bailey, Donald G. (Donald Graeme), 1962-
Έκδοση: (2011)

Assembly Language Programming : ARM Cortex-M3.
ανά: Mahout, Vincent
Έκδοση: (2013)

Embedded systems : analysis and modeling with SysML, UML and AADL /
Έκδοση: (2013)

Distributed systems : design and algorithms /
Έκδοση: (2011)

Industrial used of formal method : formal verification /
Έκδοση: (2012)

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies
Έκδοση: (2018)

Proceedings of the 14th International Conference on Embedded Software
Έκδοση: (2014)

Proceedings of the ninth ACM international conference on Embedded software
Έκδοση: (2011)

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems
Έκδοση: (2017)

Proceedings of the 39th annual Design Automation Conference
Έκδοση: (2002)

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
Έκδοση: (2017)

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Έκδοση: (2017)

Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
Έκδοση: (2013)

Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments
Έκδοση: (2016)

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
Έκδοση: (2015)

Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering
Έκδοση: (2019)

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
Έκδοση: (2019)

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
Έκδοση: (2016)

RFID and the Internet of Things /
Έκδοση: (2013)

3g, 4g and beyond bringing networks, devices, and the web together /
ανά: Sauter, Martin
Έκδοση: (2013)

Collaborative internet of things (C-IoT) : for future smart connected life and business /
ανά: Behmann, Fawzi
Έκδοση: (2015)

Building the Internet of Things with IPv6 and MIPv6 : the Evolving World of M2M Communications.
ανά: Minoli, Daniel
Έκδοση: (2013)

Simulation and Modeling of Systems of Systems /
Έκδοση: (2011)

Autonomous learning systems : from data streams to knowledge in real-time /
ανά: Angelov, Plamen P.
Έκδοση: (2013)

Smart antenna systems and wireless lans /
ανά: Okamoto, Garret T.
Έκδοση: (2002)

Leibniz Transactions on Embedded Systems
Έκδοση: (2015)

Semi-supervised and unsupervised machine learning : novel strategies /
ανά: Albalate, Amparo
Έκδοση: (2011)

Troubleshooting campus networks : practical analysis of Cisco and LAN protocols /
ανά: Oppenheimer, Priscilla
Έκδοση: (2002)

Local area network management, design, and security : a practical approach /
ανά: Mikalsen, Arne
Έκδοση: (2002)

The art of designing embedded systems
ανά: Ganssle, Jack G
Έκδοση: (2000)

Multihop wireless networks : opportunistic routing /
ανά: Zeng, Kai
Έκδοση: (2011)

Decision support systems for business intelligence /
ανά: Sauter, Vicki Lynn, 1955-
Έκδοση: (2010)

Embedded SOPC design with NIOS II processor and VHDL examples /
ανά: Chu, Pong P., 1959-
Έκδοση: (2011)

3D visual communications /
ανά: Su, Guan-Ming
Έκδοση: (2013)

Home Area Networks and IPTV.
ανά: Rémy, Jean-Gabriel
Έκδοση: (2011)

The semantic sphere 1 : computation, cognition and information economy /
ανά: Lévy, Pierre, 1956-
Έκδοση: (2011)

Lean for systems engineering with lean enablers for systems engineering /
ανά: Oppenheim, Bohdan W., 1948-
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_vfrgk4jb16qh9mq1ofoi94c86q