(redirected from Property Specification Language)
Also found in: Wikipedia.
Category filter:
PSLPakistan Super League (cricket; est. 2015)
PSLPremier Soccer League
PSLPort Saint Lucie (Florida)
PSLPaid Sick Leave
PSLPriority Sector Lending (finance)
PSLPolskie Stronnictwo Ludowe (Polish Peoples Party, 1895)
PSLProjeto Software Livre (Portuguese: Free Software Project; Brazil)
PSLPersonal Seat License (season sporting event tickets)
PSLParty for Socialism and Liberation
PSLProject Space Leeds (UK)
PSLProtected Services List
PSLPublic Source License
PSLPlib Scripting Language
PSLPlatform Support Layer
PSLProtocol Stack Layer
PSLPortable Sound Library
PSLProtected Server Library
PSLParallel Simulation Language
PSLParallel Systems Laboratory
PSLPhysical Security Layer
PSLProblem Statement Language
PSLPayment Systems Ltd.
PSLParallel Strand Lumber
PSLPower Systems Laboratory (US NASA)
PSLProperty Specification Language
PSLPosted Speed Limit
PSLParti Social Libéral (French: Social Liberal Party)
PSLPermanent Seat License (arena ticketing)
PSLPhoenix School of Law (Arizona)
PSLProcess Specification Language
PSLPriority Substances List
PSLPhysical Science Laboratory (New Mexico State University)
PSLPublic School League
PSLPrivate Sector Leasing (Edinburgh, Scotland, UK)
PSLPermissible Sound Level (audiology)
PSLProjective Special Linear (mathematics)
PSLPreferred Supplier List
PSLProfessional Support Lawyer
PSLPhotostimulated Luminescence
PSLProducteurs Suisses de Lait
PSLPublic Service Leadership (various locations)
PSLPublic Safety Leadership (various organizations)
PSLPublic Street Lighting (various locations)
PSLPortable Standard LISP
PSLProfessional Sound and Lighting (various locations)
PSLPublic Software Library
PSLProduct Service Line (various companies)
PSLProfessional Standards Legislation (Australia)
PSLPumpkin Spice Latte (beverage)
PSLPhysical Sciences Laboratory
PSLPanasonic Singapore Laboratories Pte. Ltd. (research)
PSLPolice School Liaison (various locations)
PSLProduct Support Lead (various companies)
PSLPATROL Script Language (BMC Software)
PSLProduttori Svizzeri di Latte
PSLPhotographic Science Laboratory (US Navy)
PSLPressure Sensitive Label
PSLParallel Track Single-Unit Long-Range Aid to Navigation (Long Range Navigation; US DoD)
PSLPeak Sidelobe Level
PSLProduct Specification Level
PSLPropulsion Systems Laboratory
PSLPoint Source Load (waste treatment)
PSLPrice Support Loan
PSLPort of South Louisiana
PSLProlonged Study Leave (UK)
PSLPath Switch LSR (Label Switched Router)
PSLPassive Streaming Library (Check Point Software Technologies)
PSLPressure Safety Low
PSLPopulation Services Lanka (Sri Lanka)
PSLPusca Semiautomata cu Luneta (Romanian: Semi-Automatic Rifle with Scope)
PSLPearl Science Laboratory (Japan)
PSLProtection Switch LSR (Label Switched Router)
PSLPerverse Sexual Lust
PSLPoly-Styrene Latex
PSLPath Signal Label
PSLPassenger Service License
PSLParts Selection List
PSLPOEMS Specification Language
PSLProtection of the Sea Levy
PSLPrepaid Service Logic (GSM networks)
PSLPlant Site Logistics
PSLPolar Surface Layer
PSLProgram Support Logistics
PSLPot Smoking Loser
PSLPercent of the Speed of Light (Andromeda)
PSLProbability of Synchronization Loss
PSLPublication Status List
PSLProtected Dervices List
PSLPower Signal Layout (telecommunications)
PSLProgram Support Letter/Library
PSLPhysical Sublayer (signaling)
PSLPraat Scripting Language (phonetics computer program)
PSLPina Sri Lanka
Copyright 1988-2018, All rights reserved.
References in periodicals archive ?
To make this process easier for nonexperts, we propose an approach facilitating probabilistic model checking by providing an abstraction over high-level modeling and property specification languages. Namely, we suggest creating a system model using a graphical user interface and generate informal properties using natural language statements.
Full browser ?