✦ LIBER ✦

Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems

✍ Scribed by Petnga, Leonard; Austin, Mark

Book ID: 123176801
Publisher: Elsevier
Year: 2013
Tongue: English
Weight: 788 KB
Volume: 16
Category: Article
ISSN: 1877-0509
DOI: 10.1016/j.procs.2013.01.042

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Challenges in transformation of existing

Challenges in transformation of existing real-time embedded systems to cyber-physical systems

✍ Bonakdarpour, Borzoo 📂 Article 📅 2008 🏛 Association for Computing Machinery 🌐 English ⚖ 60 KB

Shipboard Power Systems Reconfiguration—

Shipboard Power Systems Reconfiguration—A Cyber-Physical Framework For Response Time Analysis

✍ Bose, Sayak; Natarajan, Balasubramanium; Scoglio, Caterina M.; Schulz, Noel N.; 📂 Article 📅 2014 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 859 KB

Fuzzy time point compatibility reasoning

Fuzzy time point compatibility reasoning for microprocessor systems

✍ Yuen, S.M.; Lam, K.P. 📂 Article 📅 1999 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 969 KB

Web-of-things framework for cyber–physic

Web-of-things framework for cyber–physical systems

✍ Tharam S. Dillon; Hai Zhuge; Chen Wu; Jaipal Singh; Elizabeth Chang 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 335 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Interdisciplinary Foundations for Open Cyber-Physical Systems

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 63 KB

A fast digital timing and analysis syste

A fast digital timing and analysis system based on real-time dCFD technique for nuclear physics experiments

✍ Jian Sun, Hao Liang, ShuXin Xie, Bin Cheng 📂 Article 📅 2012 🏛 SP Science China Press 🌐 English ⚖ 603 KB