|
|
|
Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.
by Gnesi, Stefania, 1954- | Margaria-Steffen, Tiziana, 1964- | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.]. Material type:  Book; Format:
available online
 Publisher: Hoboken, New Jersey : John Wiley and Sons Incorporated, [2012]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
A pragmatic introduction to the finite element method for thermal and stress analysis [electronic resource] : with the Matlab toolkit SOFEA / Petr Krysl.
by Krysl, Petr. Material type:  Computer file; Format:
electronic
available online
Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©2006Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Principles of cyber-physical systems / Rajeev Alur.
by Alur, Rajeev, 1966- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [2015]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2015]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.
by Gnesi, Stefania, 1954- | Margaria-Steffen, Tiziana, 1964- | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley and Sons Incorporated, [2012]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Teamwork in multi-agent systems : a formal approach / Barbara Dunin-Keplicz, Rineke Verbrugge.
by Dunin-K#eplicz, Barbara [author.] | Verbrugge, Rineke | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley, 2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available
|
