Engineering safe and secure cyber-physical systems the specification PEARL approach - Gumzej, Roman; SpringerLink (Online service). (Cham Springer International Publishing, 2016)
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.
Electronic reproduction.
Keywords: PEARL (Computer program language); Cooperating objects (Computer systems); Electronic books