Search Results for Case studies.

5 Results Found

00000DEFAULT

Cover image for Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23535-2

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods for Safety and Security Case Studies for Aerospace Applications

Author

Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4121-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91806-8

Format:

Availability

Online Library~1

Available:
Copies:

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Author

Reisig, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333688.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33278-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34032-1

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}