Search
Author Profiles
Browse Author Profiles
Submit
Library Home
Contact Us
login
login
Home
> Search Results: ( (author:"Ölveczky, Peter Csaba,"))
Search 845,337 records for:
Reset
Search
Search Tips
::
Simple Search
::
Browse Resources (beta)
Options
Sort by
relevance
latest first
title
author
year
ascending
descending
Display
10 results
25 results
50 results
100 results
Collections
Select collection
all collections
All DA
All Resources
Articles & Manuscripts
Authorities
Books
Books and Periodicals
Capstones & Projects
CDs
Celebration of Teaching and Le...
Cheryl Herrmann Collection
Communal Studies Collection
Communal Studies Finding Aids
Course Reserves
Datasets
Dissertations
Doctor of Nursing Practice (DN...
DVDs
Ebooks
Electronic Journals
Endeavor Symposium
Evansville African American Co...
Faculty Scholarship
Flood of 1937 Collection
Government E-Resources
Government Resources
Historic New Harmony Slide Col...
Holdings
Honors Student Symposium
Indiana English
Instructor Copies
Journals & Proceedings
Local Newspapers & Newspaper P...
Mater Dei High School Yearbook...
New Popular Reading
No 980
On-Campus Resources
Online Resources
Oral History Collection
Order API Import
Other Materials
Posters & Presentations
Print Periodicals
Regional History Finding Aids
Repository
Scholarly Open Access Reposito...
Senior Engineering Projects
Special & Regional History Col...
Special Collections Finding Ai...
Streaming Video
Theses
Theses, Capstones, Projects, &...
TIND DA QA
UASC Finding Aids Collection
Undergraduate Psychology Resea...
University Archives & Special ...
University Archives Collection
University Archives Finding Ai...
University of Southern Indiana
University Publications
USI Conferences & Events
USI Scholarly and Creative Wor...
USI Graduate Student Colloquiu...
Format
Select output format
BibTeX
Dublin Core
EndNote
EndNote (8-X)
HTML brief
MARCXML
MODS
NLM
RefWorks
TextMarc (embedded)
TextMarc (plain)
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (11)
Location
Online (11)
Date
2021 (1)
2019 (2)
2018 (1)
2017 (2)
2016 (2)
2015 (2)
2014 (1)
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (11)
Location
Online (11)
Date
2021 (1)
2019 (2)
2018 (1)
2017 (2)
2016 (2)
2015 (2)
2014 (1)
University of Southern Indiana
11
records found
1 - 10
Search took 0.19 seconds.
1.
Formal aspects of component software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Rev[...]
FACS (Symposium) (12th : 2015 : Niterói, Brazil)
;
Braga, Christiano (Computer sci[...]
Cham : Springer, 2016.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
2.
Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / Kyungmin[...]
FACS (Symposium) (15th : 2018 : P'ohang-si, Korea)
;
Bae, Kyungmin, editor.
;
Ölveczk[...]
Cham, Switzerland : Springer, 2018.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
3.
Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude / Peter Csaba Ölveczky.
Ölveczky, Peter Csaba, author.
London : Springer, 2017.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
4.
Formal techniques for safety-critical systems [electronic resource] : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 201[...]
International Workshop of Formal Techniques for Safety-Critical Systems (4th : 2[...]
Cham : Springer, 2016.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
5.
Formal techniques for safety-critical systems [electronic resource] : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. R[...]
International Workshop of Formal Techniques for Safety-Critical Systems (3rd : 2[...]
Cham : Springer, 2015.
QA76.9.F67 I58 2015eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
6.
Formal techniques for safety-critical systems [electronic resource] : second international workshop, FTSCS 2013, Queenstown, New Zealand, October[...]
International Workshop of Formal Techniques for Safety-Critical Systems (2nd : 2[...]
Cham : Springer, 2014.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
7.
Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selecte[...]
FTSCS (Workshop) (6th : 2018 : Gold Coast, Qld.)
;
Artho, Cyrille, editor.
;
Ölveczky[...]
Cham, Switzerland : Springer, 2019.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
8.
Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers [...]
FTSCS (Workshop) (5th : 2016 : Tokyo, Japan)
;
Artho, Cyrille, editor.
;
Ölveczky, Pe[...]
Cham, Switzerland : Springer, 2017.
QA76.9.F67
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
9.
Logic, rewriting, and concurrency [electronic resource] : essays dedicated to José Meseguer on the occasion of his 65th birthday / Narciso Mart[...]
Meseguer, José, honoree.
;
Martí-Oliet, N. (Narciso), editor.
;
Ölveczky, Peter Csa[...]
Cham : Springer, [2015]
QA76
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
10.
Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings / Peter Csab[...]
International Conference on Software Engineering and Formal Methods (17th : 2019[...]
Cham, Switzerland : Springer, [2019]
QA76.758
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
University of Southern Indiana :
11
records found
1 - 10
Interested in being notified about new results for this query?
Set up a personal
email alert
or subscribe to the
RSS feed
.