Engineering safe and secure cyber-physical systems : the specification PEARL approach /: the specification PEARL approach. (2016)

• Record Type: Book
• Further Information: Note: Roman Gumzej.
• Authors: Gumzej, Roman
• Contents: Introduction -- Specification PEARL Language -- Specification PEARL Methodology -- UML 2 Profile for Specification PEARL.-UML Safety Pattern for Specification PEARL -- Specification PEARL Security -- Evaluation of the Methodology -- Conclusion.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (xiii, 128 pages), illustrations
• Subjects: 005.13/3; Engineering; Real-time programming; Embedded computer systems; PEARL (Computer program language); Cooperating objects (Computer systems); Computer programming; Real-time programming; Embedded computer systems; PEARL (Computer program language); Cooperating objects (Computer systems); Computer programming; Computers -- Intelligence (AI) & Semantics; Technology & Engineering -- Electronics -- Circuits -- General; Technology & Engineering -- Quality Control; Artificial intelligence; Circuits & components; Reliability engineering; Artificial intelligence; Systems engineering; System safety; Electronic books
• Languages: English
• ISBNs: 9783319289052; 3319289055
• Related ISBNs: 9783319289038; 3319289039
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed January 28, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.