My Account Log in

2 options

Proceedings of the 2011 Forum on Specification & Design Language : Oldenburg, Germany, September 13th-15th, 2011 / [editors: Adam Morawiec, Jinnie Hinderscheit, Orna Ghenassia].

Connect to full text Available online

View online

IEEE Xplore (IEEE/IET Electronic Library - IEL) Available online

View online
Format:
Book
Conference/Event
Contributor:
Morawiec, Adam (Adam Jan)
Hinderscheit, Jinnie.
Ghenassia, Orna.
IEEE Xplore (Online service)
Electronic Chips & Systems Design Initiative.
Conference Name:
FDL (Conference) (2011 : Oldenburg, Germany)
Language:
English
Subjects (All):
Formal methods (Computer science)--Congresses.
Formal methods (Computer science).
Software engineering--Congresses.
Software engineering.
Computer software--Verification--Congresses.
Computer software.
Computer software--Verification.
Software architecture--Congresses.
Software architecture.
Computer hardware description languages--Congresses.
Computer hardware description languages.
Genre:
Conference papers and proceedings.
Physical Description:
1 online resource (various pagings) : illustrations
Other Title:
2011 Forum on Specification & Design Language
Title on HTML content screen: Specification and Design Languages (FDL), 2011 Forum on
2011 Forum on Specification and Design Languages (FDL)
Also known as: FDL 2011
Place of Publication:
Gières, France : Electronic Chips & Systems Design Initiative, [2011]
System Details:
text file
Notes:
"General chair: Frank Oppenheimer"
"FDL is an ECSI event!"
Includes bibliographical references.
Description based on online resource; title from PDF title page (IEEE Xplore, viewed on Apr. 3, 2013).
OCLC:
812606286
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account