✦ LIBER ✦

[Lecture Notes in Electrical Engineering] System Specification and Design Languages Volume 106 || Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC

✍ Scribed by Kaźmierski, Tom J.; Morawiec, Adam

Book ID: 120396948
Publisher: Springer New York
Year: 2011
Weight: 650 KB
Category: Article
ISBN: 146141427X
DOI: 10.1007/978-1-4614-1427-8_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 4199 || A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines

✍ Nierstrasz, Oscar; Whittle, Jon; Harel, David; Reggio, Gianna 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 398 KB

[Lecture Notes in Electrical Engineering

[Lecture Notes in Electrical Engineering] Embedded Systems Specification and Design Languages Volume 10 || Modeling AADL Data Communications with UML MARTE

✍ Villar, Eugenio 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research dir

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 3829 || Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams

✍ Pettersson, Paul; Yi, Wang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 437 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 3829 || Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams

✍ Pettersson, Paul; Yi, Wang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 437 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 8 UML for Software Safety and Certification

✍ Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 615 KB

[Lecture Notes in Electrical Engineering

[Lecture Notes in Electrical Engineering] Electrical Engineering and Control Volume 98 || Real-Time Control Techniques Research of Low-Frequency Oscillation in Large-Scale Power System Based on WAMS and EMS

✍ Zhu, Min 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 171 KB

This volume includes extended and revised versions of a set of selected papers from the International Conference on Electric and Electronics (EEIC 2011) , held on June 20-22 , 2011, which is jointly organized by Nanchang University, Springer, and IEEE IAS Nanchang Chapter. The objective of EEIC 20